Searching Potential Conflicts in Medical Expert Systems

We will present a new approach to the problem of the Medical Expert Systems Validation. This method is based on the central role played by the conflicts base introduced by the experts in the appearance of potential conflicts, reducing the problem to the capture of the deductive closure of these conflicts base. The method is illustrated in a simple case: a knowledge base with a rule base modeled by implications of propositional logic, being the uncertainty measured by certainty factors.